Peter Hoare
نویسندگان
چکیده
منابع مشابه
Quantum Relational Hoare Logic
We present a logic for reasoning about pairs of interactive quantum programs – quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proo...
متن کاملAbstract hoare logic
Hoare Logic Abstract Hoare LogicHoare Logic Paulo Oliva (joint work with U. Martin and E. A. Mathiesen) Queen Mary, University of London, UK ([email protected]) TMC, Network Algebras, and Applications Wroc law, 15 July 2007 Abstract Hoare LogicHoare Logic
متن کاملReverse Hoare Logic
We present a novel Hoare-style logic, called Reverse Hoare Logic, which can be used to reason about state reachability of imperative programs. This enables us to give natural specifications to randomized (deterministic or nondeterministic) algorithms. We give a proof system for the logic and use this to give simple formal proofs for a number of illustrative examples. We define a weakest postcon...
متن کاملJALDA's Interview with Peter Mühlhäusler
Peter Mühlhäusler is the Foundation Professor of Linguistics at the University of Adelaide, and Supernumerary Fellow of Linacre College, Oxford. He has taught at the Technical University of Berlin and in the University of Oxford. He is an active researcher in several areas of linguistics, including ecolinguistics, language planning, and language policy and language contact in the Australian-Pac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychiatric Bulletin
سال: 2008
ISSN: 0955-6036,1472-1473
DOI: 10.1192/pb.bp.108.022020